subsumption logic

包含逻辑